package sketch.ounit.fuzz;

public class ExceptionThrowingCodeRandoop {

	//this is dummy, never call this
public static void main(String[] args) {
		
	    args = new String[]{"gentests", "--testclass=sketch.ounit.fuzz.ExceptionThrowingCode",
	        "--junit-classname=RandoopTestException", "--junit-output-dir=./subjects",
	        "--junit-package-name=coverage.randoopgen", "--timelimit=1"};
	    randoop.main.Main.main(args);
	  }
	
}